例文
- Contrary to this, the type inference method itself ( Algorithm W ) is defined as a deterministic step-by-step procedure, leaving no choice what to do next.
- The presentation of Algorithm W as shown in the side box does not only deviate significantly from the original but is also a gross abuse of the notation of logical rules, since it includes side effects.